​

      this._recreateLines();

    }

​

    docChanges(docChanges: CodeMirror.EditorChange[]) {

      if (this._recreateTimeout)

        clearTimeout(this._recreateTimeout);

      this._recreateTimeout = setTimeout(() => this._recreateLines(), 200);

    }

​

    scroll(scrollInfo: CodeMirror.ScrollInfo) {

      var height = scrollInfo.height;

      var lineCount = this._doc.lineCount();

      if (lineCount < this._viewLineNumber)

        height = Math.max(height, this._doc.getEditor().defaultTextHeight() * this._viewLineNumber);

      this.viewportFrom((scrollInfo.top * 100 / height) + '%');

      this.viewportHeight((scrollInfo.clientHeight * 100 / height) + '%');

      (<any>scrollInfo).maxHeight = height;

      this._debug = {

        lineCount: lineCount,

        heightAtLine: this._doc.getEditor().heightAtLine(lineCount - 2),

        defaultLineHeight: this._doc.getEditor().defaultTextHeight(),

        height: height,

        scrollInfo: scrollInfo

      };

    }

​

    bindHandlers(dragElement: HTMLElement) {

      addEventListener(dragElement, 'touchstart', (e: any) => { 

        if (!e.touches || !e.touches.length) return;

        var editor = this._doc.getEditor();

        if (!editor) return;

​

        var dbg = null;

​

        var scrollInfo = editor.getScrollInfo();

        if (scrollInfo.clientHeight === scrollInfo.height) return;

        var startTop = scrollInfo.top;

        var startCoord = e.touches[0].clientY;

        var factor = scrollInfo.clientHeight / scrollInfo.height;

        var move = e => {

          if (!e.touches || !e.touches.length) return;

          var editor = this._doc.getEditor();

          if (!editor) return;

​

          var scrollInfo = editor.getScrollInfo();

​

          var deltaY = e.touches[0].clientY - startCoord;

          var offset = deltaY * factor;

          editor.scrollTo(null, scrollInfo.top + deltaY);

          dbg = 'scrollY->'+ (scrollInfo.top + deltaY)+' factor:'+factor+' deltaY:'+deltaY;

        };

​

        var close = e => {

          alert(dbg);

          removeEventListener(window, 'touchend', close);

          removeEventListener(window, 'touchmove', move);

        };

​

        addEventListener(window, 'touchmove', move);

        addEventListener(window, 'touchend', close);

      });

​

      addEventListener(dragElement, 'mousedown', (e: MouseEvent) => {

        var editor = this._doc.getEditor();

        if (!editor) return;

​

        var dbg = null;

​

        var scrollInfo = editor.getScrollInfo();

        if (scrollInfo.clientHeight === scrollInfo.height) return;

        var startTop = scrollInfo.top;

        var startCoord = e.clientY;

        var factor = scrollInfo.clientHeight / scrollInfo.height;

        var move = (e: MouseEvent) => {

          var editor = this._doc.getEditor();

          if (!editor) return;

​

          var scrollInfo = editor.getScrollInfo();

​

          var deltaY = e.clientY - startCoord;

          var offset = deltaY * factor;

          editor.scrollTo(null, scrollInfo.top + deltaY);

          dbg = 'scrollY->' + (scrollInfo.top + deltaY) + ' factor:' + factor + ' deltaY:' + deltaY;

        };

​

        var close = e => {

          alert(dbg);

          removeEventListener(window, 'mousemove', move);

        };

​

        addEventListener(window, 'mousemove', move);

        addEventListener(window, 'mouseup', close);

      });

    }

​

    private _recreateLines() {

      var newLines: ScrollerModel.LineModel[] = [];

      var docLineCount = this._doc.lineCount();

      var maxLinesPerRun = (docLineCount / this._viewLineNumber) | 0;

      var run: string[] = [];

      var runLength = 0;

      var maxLength = 80;

      for (var i = 0; i < docLineCount; i++) {

        run[runLength] = this._doc.getLine(i);

        runLength++;

        if (runLength >= maxLinesPerRun || i === docLineCount - 1) { 

          if (run.length > runLength)

            run.length = runLength; // happens only with the last run

          var newLine = this._createLine(run);

          maxLength = Math.max(maxLength, newLine.leadLength + newLine.textLength);

          newLines.push(newLine);

          runLength = 0;

        }        

      }

​

      for (var i = 0; i < newLines.length; i++) {